Search results for "labelled tree"

showing 2 items of 2 documents

Periodicity vectors for labelled trees

2003

AbstractThe concept of a periodicity vector is introduced in the context of labelled trees, and some new periodicity theorems are obtained. These results constitute generalizations of the classical periodicity theorem of Fine and Wilf for words. The concept of a tree congruence is also generalized and the isomorphism between the lattice of tree congruences and the lattice of unlabelled trees (prefix codes) is established.

Discrete mathematicsMonoidPrefix codePeriodicityApplied MathematicsContext (language use)Congruence relationTree (graph theory)CombinatoricsFormal languagesLattice (music)Labelled treeCongruence (manifolds)Periodicity vectorDiscrete Mathematics and CombinatoricsIsomorphismMathematicsDiscrete Applied Mathematics
researchProduct

Reguły działania a argumentacja

2016

Argumentacja niemonotoniczna ma być blisko rozumowań praktycznych i zdroworozsądkowych: wykonawcy czynności (agenci) opracowują plany działań i starają się plany te wykonać; często jednak są pozbawieni pełnego opisu sytuacji, ich wiedza jest cząstkowa, czynią założenia i podejmują decyzje oraz działania, w tym działania słowne, polegając na własnym doświadczeniu i nawykach. Powstające formalne struktury obejmują tzw. cyrkumskrypcje (circumscriptions), logikę domyśleń (default logic), logikę autoepistemiczną (autoepistemic logic), konsekwencje kumulatywne (cumulative consequences) i szereg innych. Można wyodrębnić dwa główne typy systemów rozumowań niemonotonicznych: systemy defi niowalne po…

drzewo etykietowaneoperacja wynikanialabelled treeframeaction systemactionreguła działaniaramaukład działaniadziałanierule of conductentailment relationZagadnienia Naukoznawstwa
researchProduct